大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 China-US Millennium Symposium on Earthquake Engineering 的图书(共7729本)

Formal Methods and Software Engineering [electronic resource] : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings

0
索取号：
作者：Dong、 Jin Song.、Zhu、 Huibiao.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Web-Age Information Management [electronic resource] : WAIM 2010 International Workshops: IWGD 2010, XMLDM 2010, WCMT 2010, Jiuzhaigou Valley, China, July 15-17, 2010 Revised Selected Papers

0
索取号：
作者：Shen、 Heng Tao.、Pei、 Jian.、脰zsu、 M. Tamer.、Zou、 Lei.、Lu、 Jiaheng.、Ling、 Tok-Wang.、Yu、 Ge.、Zhuang、 Yi.、Shao、 Jie.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Unifying Theories of Programming [electronic resource] : Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings

0
索取号：
作者：Qin、 Shengchao.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

HCI in Work and Learning, Life and Leisure [electronic resource] : 6th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering, USAB 2010, Klagenfurt, Austria, November 4-5, 2010. Proceedings

0
索取号：
作者：Leitner、 Gerhard.、Hitz、 Martin.、Holzinger、 Andreas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Intelligent Robotics and Applications [electronic resource] : Third International Conference, ICIRA 2010, Shanghai, China, November 10-12, 2010. Proceedings, Part II

0
索取号：
作者：Liu、 Honghai.、Ding、 Han.、Xiong、 Zhenhua.、Zhu、 Xiangyang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Intelligent Robotics and Applications [electronic resource] : Third International Conference, ICIRA 2010, Shanghai, China, November 10-12, 2010. Proceedings, Part I

0
索取号：
作者：Liu、 Honghai.、Ding、 Han.、Xiong、 Zhenhua.、Zhu、 Xiangyang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Autonomic and Trusted Computing [electronic resource] : 7th International Conference, ATC 2010, Xi鈥檃n, China, October 26-29, 2010. Proceedings

0
索取号：
作者：Xie、 Bing.、Branke、 Juergen.、Sadjadi、 S. Masoud.、Zhang、 Daqing.、Zhou、 Xingshe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

0
索取号：
作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

0
索取号：
作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Artificial Intelligence and Computational Intelligence [electronic resource] : International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part I

0
索取号：
作者：Wang、 Fu Lee.、Deng、 Hepu.、Gao、 Yang.、Lei、 Jingsheng.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Artificial Intelligence and Computational Intelligence [electronic resource] : International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part II

0
索取号：
作者：Wang、 Fu Lee.、Deng、 Hepu.、Gao、 Yang.、Lei、 Jingsheng.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

AI Approaches to the Complexity of Legal Systems. Complex Systems, the Semantic Web, Ontologies, Argumentation, and Dialogue [electronic resource] : International Workshops AICOL-I/IVR-XXIV Beijing, China, September19, 2009 and AICOL-II/JURIX 2009, Rotterdam,The Netherlands, December 16, 2009 Revised Selected Papers

0
索取号：
作者：Casanovas、 Pompeu.、Pagallo、 Ugo.、Sartor、 Giovanni.、Ajani、 Gianmaria.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Web Information Systems and Mining [electronic resource] : International Conference, WISM 2010, Sanya, China, October 23-24, 2010. Proceedings

0
索取号：
作者：Wang、 Fu Lee.、Gong、 Zhiguo.、Luo、 Xiangfeng.、Lei、 Jingsheng.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Science [electronic resource] : 4th International Workshop, ONTOSE 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010, Revised Selected Papers

0
索取号：
作者：Sicilia、 Miguel-Angel.、Kop、 Christian.、Sartori、 Fabio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Advances in Computation and Intelligence [electronic resource] : 5th International Symposium, ISICA 2010, Wuhan, China, October 22-24, 2010. Proceedings

0
索取号：
作者：Cai、 Zhihua.、Hu、 Chengyu.、Kang、 Zhuo.、Liu、 Yong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Human-Centred Software Engineering [electronic resource] : Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010. Proceedings

0
索取号：
作者：Bernhaupt、 Regina.、Forbrig、 Peter.、Gulliksen、 Jan.、L谩rusd贸ttir、 Marta.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院